infixl 8 ***
infixl 0 $, *, +, &&, **

infixl 9 type $
